Classical Concepts in Quantum Programming

The rapid progress of computer technology has been accompanied by a corresponding evolution of software development, from hardwired components and binary machine code to high level programming languages, which allowed to master the increasing hardware complexity and fully exploit its potential. This paper investigates, how classical concepts like hardware abstraction, hierarchical programs, data types, memory management, flow of control and structured programming can be used in quantum computing. The experimental language QCL will be introduced as an example, how elements like irreversible functions, local variables and conditional branching, which have no direct quantum counterparts, can be implemented, and how non-classical features like the reversibility of unitary transformation or the non-observability of quantum states can be accounted for within the framework of a procedural programming language.Comment: 11 pages, 4 figures, software available from http://tph.tuwien.ac.at/~oemer/qcl.html, submitted for QS2002 proceeding

Several types of types in programming languages

Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper will present several remarks (some historical, some of more conceptual character) on the subject, as a basis for a further investigation. The thesis we will argue is that there are three different characters at play in programming languages, all of them now called types: the technical concept used in language design to guide implementation; the general abstraction mechanism used as a modelling tool; the classifying tool inherited from mathematical logic. We will suggest three possible dates ad quem for their presence in the programming language literature, suggesting that the emergence of the concept of type in computer science is relatively independent from the logical tradition, until the Curry-Howard isomorphism will make an explicit bridge between them.Comment: History and Philosophy of Computing, HAPOC 2015. To appear in LNC

Stabilization and control system power sensitivity study

Stabilization and control system sensitivity to power-off failure rate studied by simulated missions using block power switchin

Nonflammable, antistatic, and heat-sealable film

Antistatic, heat-sealable, nonflammable films prepared from polyvinylidene fluoride and polyvinylidene chloride resin

Network Inference via the Time-Varying Graphical Lasso

Many important problems can be modeled as a system of interconnected entities, where each entity is recording time-dependent observations or measurements. In order to spot trends, detect anomalies, and interpret the temporal dynamics of such data, it is essential to understand the relationships between the different entities and how these relationships evolve over time. In this paper, we introduce the time-varying graphical lasso (TVGL), a method of inferring time-varying networks from raw time series data. We cast the problem in terms of estimating a sparse time-varying inverse covariance matrix, which reveals a dynamic network of interdependencies between the entities. Since dynamic network inference is a computationally expensive task, we derive a scalable message-passing algorithm based on the Alternating Direction Method of Multipliers (ADMM) to solve this problem in an efficient way. We also discuss several extensions, including a streaming algorithm to update the model and incorporate new observations in real time. Finally, we evaluate our TVGL algorithm on both real and synthetic datasets, obtaining interpretable results and outperforming state-of-the-art baselines in terms of both accuracy and scalability

On the π\pi and KK as qqˉq \bar q Bound States and Approximate Nambu-Goldstone Bosons

We reconsider the two different facets of $\pi$ and $K$ mesons as $q \bar q$ bound states and approximate Nambu-Goldstone bosons. We address several topics, including masses, mass splittings between $\pi$ and $\rho$ and between $K$ and $K^*$, meson wavefunctions, charge radii, and the $K-\pi$ wavefunction overlap.Comment: 15 pages, late

Lake Erie 1993, Western, West Central and Eastern Basins: Change in Trophic Status, and Assessment of the Abundance, Biomass and Production of the Lower Trophic Levels

The western and west central basins were mesotrophic and the eastern basin was oligotrophic, based on many biological and chemical parameters measured in 1993. Gradients were observed for most parameters, with chlorophyll a, nitrogen, phosphorus, silica, and light extinction decreasing from west to east. In the western basin, phytoplankton biomass declined by 51% from 1983-85. Phytoplankton photosynthesis (g C·m-2), predicted from total phosphorus (TP) using a relationship developed in other offshore productivity studies in Lake Ontario, declined by 35% in 1993, without a corresponding decline in phosphorus (P) loading or TP. Diatoms decreased and there was a shift towards smaller phytoplankton species. These changes were attributed to zebra mussel filtration, but were not of sufficient magnitude to reduce zooplankton biomass. In the west central basin, the reductions in phytoplankton biomass were modest. Photosynthesis (g C·m-2) in 1993, was in line with that predicted by TP and the empirical relationship developed in other offshore studies. Limited mussel populations in the west central basin, resulting from low hypolimnetic oxygen concentrations, caused little change in the phytoplankton. There also were no reductions in mean biomass of zooplankton from 1984-87. In the eastern basin, phytoplankton biomass declined by 49% from 1983-85. Photosynthesis (g C·m-2) declined by 50% from the value predicted, from TP and the empirical relationship developed for other studies, for 1983-85, without a decline in P-leading. TP was lower in 1993 and was attributed to filtering by Dreissena and subsequent redirection of pelagic material to the sediments. Phytoplankton species indicative of eutrophy were reduced and there was an overall shift towards smaller species. Zooplankton biomass was also reduced. Mean zooplankton community size and the loss of Daphnia sp. suggest that predation by planktivores as well as a reduced food supply, affected zooplankton biomass in 1993. The Dreissena population also affected the benthic community structure as Diporeia were virtually eliminated from the eastern basin and Gammarus increased in all basins. Benthic biomass was 40% higher on average than in 1979. Dreissena dominated benthic production at all stations except offshore in the west-central basin

Assessment of Abundance, Biomass and Production of the Lower Trophic Levels in the Eastern Basin of Lake Erie, 1994

The Lake Erie Biomonitoring (LEB) program conducted in 1994, focused on the eastern basin of the lake, resampling the same sites as in 1993. Nutrient conditions were similar in the two years. Responses differed between the stratified offshore and unstratified nearshore. At the offshore station, seasonal phytoplankton biomass was 56% higher in 1994 than in 1993 and apparently resulted from a reduction in grazing pressure by Dreissena. Dreissena biomass and their potential clearance rates at the offshore station were much lower in the spring of 1994 than in the spring of 1993 (2.5 vs. 14.9 m3·m·2·d·\u27), respectively. Despite this increase in phytoplankton biomass, chlorophyll (Chi) and phytoplankton photosynthesis (PP) were not significantly higher in 1994. Dinoflagellates, which have lower Chl:C and lower photosynthesis:Chl ratios than other groups of phytoplankton, accounted for much of the increase in biomass. Rotifer biomass decreased by 50% and zooplankton biomass by 40% between the two years. Calanoids were responsible for much of the decrease in zooplankton biomass. Composition also shifted towards larger bodied cladocerans, such as Daphnia and Bythotrephes, and away from Bosmina. This shift coincided with changes in predation pressure. Age-one smelt abundance was extremely high in 1993 and low in 1994, while the reverse was true of the YOY smelt. Age-one smelt consume mainly cladocerans and the YOY, copepods (REF). At the nearshore stations, seasonal PP and Chi were well below that expected given the total phosphorus (TP) concentration, indicating that Dreissena had an important impact on phytoplankton photosynthesis in this region. Low transparency due to suspended sediments also contributed to the low PP at station El. Zooplankton biomass was lower in 1994 than in 1993, and species composition and size shifted. Daphnia increased and calanoids and Bosmina decreased in the nearshore as in the offshore, presumably in response to changes in the smelt population. However, Bythotrephes decreased and rotifer biomass increased unlike in the offshore

Semiclassical Distorted Wave Model Analysis of the (π−,K+)(\pi^-,K^+) Σ\Sigma Formation Inclusive Spectrum

$(\pi^-,K^+)$ hyperon production inclusive spectra with $p_\pi =1.2$ GeV/c measured at KEK on $^{12}$C and $^{28}$Si are analyzed by the semiclassical distorted wave model. Single-particle wave functions of the target nucleus are treated using Wigner transformation. This method is able to account for the energy and angular dependences of the elementary process in nuclear medium without introducing the factorization approximation frequently employed. Calculations of the $(\pi^+,K^+)$ $\Lambda$ formation process, for which there is no free parameter since the $\Lambda$ s.p. potential is known, demonstrate that the present model is useful to describe inclusive spectra. It is shown that in order to account for the experimental data of the $\Sigma^-$ formation spectra a repulsive $\Sigma$-nucleus potential is necessary whose magnitude is not so strong as around 100 MeV previously suggested.Comment: 12 pages, 10 figures, accepted in Phys. Rev.